University of Science - PDFSEARCH.IO - Document Search Engine

University of Science
Results: 77099

#	Item
21	A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:44 Artificial intelligence Logic Logic programming Declarative programming Automated reasoning Programming paradigms Automated theorem proving Answer set programming Reasoning system Stable model semantics Prolog Inference
22	Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2013-03-31 09:28:56 Cryptography Multivariate cryptography Post-quantum cryptography Algebra Polynomials Unbalanced Oil and Vinegar Hidden Field Equations Algebraic equation QUAD Variable Equation Finite field
23	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:33:38 Mathematical analysis Mathematics Embedded systems Prosthetics Artificial cardiac pacemaker Cardiac electrophysiology Cybernetics Neuroprosthetics IP Analysis FO Dirac delta function
24	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
25	Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Add to Reading List Source URL: suncontract.org Language: English - Date: 2018-10-19 08:31:23 Enterprise application integration Computing Oracle SOA Suite Matja Business Process Execution Language Oracle Fusion Middleware Rozman Economy Software architecture
26	ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:43 Video cards Computer architecture Computing Graphics hardware CUDA GeForce Graphics processing unit Nvidia GeForce 500 series GeForce 400 series
27	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-11-02 05:37:42 Mathematical analysis Statistical randomness Metaphysics Stochastic processes Generalized functions Stochastic simulation Distribution Dynamical system Markov chain
28	Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 08:11:56 Computing Cyberwarfare Computer security Cryptography Cybercrime Computer network security Backdoor Rootkits Google Play Android Firebase Password
29	SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China Add to Reading List Source URL: apsys11.ucsd.edu Language: English - Date: 2011-07-04 13:02:25 Computing Open formats RSS Computer file formats Data types Cloud computing Atom News aggregator Pointer swizzling Pointer Computer data storage Cloudlet
30	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation